
(set-logic BV)


(define-fun origCir ( (LN55 Bool) (LN79 Bool) (LN89 Bool) (LN206 Bool) (LN208 Bool)  )  Bool    
          (xor (xor (xor  LN55(xor  LN208 LN206 ) ) LN79 ) LN89 )
)


(synth-fun skel ( (LN55 Bool) (LN79 Bool) (LN89 Bool) (LN206 Bool) (LN208 Bool)  )  Bool    
          ((Start Bool (
		                                  (and depth1 depth1)
		                                  (not depth1)
		                                  (or depth1 depth1)
		                                  (xor depth1 depth1)
          ))
          (depth1 Bool (
		                                  (and depth2 depth2)
		                                  (not depth2)
		                                  (or depth2 depth2)
		                                  (xor depth2 depth2)
		                                  LN79
          ))
          (depth2 Bool (
		                                  (and depth3 depth3)
		                                  (not depth3)
		                                  (or depth3 depth3)
		                                  (xor depth3 depth3)
		                                  LN89
          ))
          (depth3 Bool (
		                                  (and depth4 depth4)
		                                  (not depth4)
		                                  (or depth4 depth4)
		                                  (xor depth4 depth4)
		                                  LN208
          ))
          (depth4 Bool (
		                                  LN55
		                                  LN206
          )))
)


(declare-var LN55 Bool)
(declare-var LN79 Bool)
(declare-var LN89 Bool)
(declare-var LN206 Bool)
(declare-var LN208 Bool)

(constraint (= (origCir LN55 LN79 LN89 LN206 LN208 ) (skel LN55 LN79 LN89 LN206 LN208 )))


(check-synth)

(define-fun skel_1 ((LN55 Bool) (LN79 Bool) (LN89 Bool) (LN206 Bool) (LN208 Bool)) Bool (xor (xor (xor (xor LN206 LN55) LN208) LN89) LN79))
